Nikitin A. Yu. «Decidability of the restricted theories of a class of partial orders» // Applied Discrete Mathematics 2019. №45 C.6-12
Nikitin Alexey Yu., Kudyk Ivan D. «Criterion for equational Noetherianity and complexity of the solvability problem for systems of equations over partially ordered sets» // Applied Discrete Mathematics 2024. №64 C.7-19
Nikitin A. Y., Rybalov A. N. «On complexity of the satisfiability problem of systems over finite posets» // Applied Discrete Mathematics 2018. №39 C.94-98